Towards Resolution-based Reasoning for Connected Logics
MetadataShow full item record
The method of connecting logics has gained a lot of attention in the knowledge representation and ontology communities because of its intuitive semantics and natural support for modular KR, its generality, and its robustness concerning decidability preservation. However, so far no dedicated automated reasoning solutions have been developed, and the only reasoning available was via translation into sufficiently expressive logics. In this paper, we present a simple modalised version of basic EE-connections, and develop a sound, complete, and terminating resolution-based reasoning procedure. The approach is modular and can be extended to more expressive versions of EE-connections.
Showing items related by title, author, creator and subject.
Connectivity in Cyber-Physical Production Systems: Three-Tier Industrial Internet System Model for Connectivity of heterogeneous Elements in Cyber-Physical Production Systems Rojas R; Rauch E; Matt DT (2018)In the "Smart Factory", cyber-physical systems (CPS) must be synchronized with each other and with the outside world in order to exchange information and trigger actions. This paper presents a model for the design of an ...
Bertotti, ML; Montecchiari, P (Elsevier, 1998)The existence is proved, by means of variational arguments, of infinitely many heteroclinic solutions connecting possibly degenerate equilibria for a class of almost periodic Lagrangian system. An analogous multiplicity ...