Filters








261,418 Hits in 7.5 sec

Planning in Action Formalisms based on DLs: First Results

Maja Milicic
2007 International Workshop on Description Logics  
In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs.  ...  More precisely, we show that its computational complexity coincides with the one of projection for DLs between ALC and ALCQIO.  ...  First results on integrating DLs with action formalisms from [2] show that reasoning remains decidable even if an action formalism is based on the expressive DL ALCQIO.  ... 
dblp:conf/dlog/Milicic07 fatcat:gclpbegrpzglpchzcscnd2qeni

Integrating Action Calculi and Description Logics [chapter]

Conrad Drescher, Michael Thielscher
Lecture Notes in Computer Science  
In this paper, we show how to use Description Logic as the basis for a decidable yet still expressive action formalism.  ...  Description Logics, on the other hand, have been developed to represent static knowledge with the help of decidable subsets of first order logic.  ...  In this paper, we show how to integrate Description Logics into a general action formalism.  ... 
doi:10.1007/978-3-540-74565-5_8 fatcat:jlauupjfmvbq7aptz3gtqgtwjy

Formal description techniques - how formal and descriptive are they? [chapter]

M. Broy
1996 IFIP Advances in Information and Communication Technology  
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering.  ...  This demonstrates a proceeding in the design of FDTs that helps to make them formal, descriptive and technically useful.  ...  Acknowledgement The thoughts presented above have benefited greatly from discussions within the SysLab team, the IFIP working group 2.3, with software engineers from BMW, ESG, Siemens, Siemens Nixdorf, Digital and  ... 
doi:10.1007/978-0-387-35079-0_6 fatcat:oyyis5j5j5gbpna44tm56j74ei

Descriptive, Formal and Formalized Ontologies [chapter]

Roberto Poli
2003 Contributions to Phenomenology  
Formal ontology distills, filters, codifies and organizes the results of descriptive ontology (in either its local or global setting).  ...  analysis of social action.  ... 
doi:10.1007/978-94-017-0207-2_12 fatcat:xesvp7ehp5a6pouczv4ggmoxem

Formal Methods [chapter]

Olav Lysne
2018 The Huawei and Snowden Questions  
Synthesis tools transform these high-level descriptions into descriptions in terms of logic gates (see Sect. 4.2).  ...  Logic propositions The result of semantic translation is a set of propositions expressed in some mathematical logic.  ... 
doi:10.1007/978-3-319-74950-1_9 fatcat:53ws4lrhg5ayho7owbk6r3jskq

Ontology formalisms

Craig Schlenoff
2009 Proceedings of the 9th Workshop on Performance Metrics for Intelligent Systems - PerMIS '09  
There are ontologies that are extremely formal (e.g., using first order logic), and there are ontologies that are less formally defined (e.g., ontologies in the relational databases or dictionaries).  ...  I will show where each of these efforts fall on the formalization spectrum and show why that level of formalization is appropriate for that application.  ...  a glossary or dictionary up to formal logic-based descriptions.  ... 
doi:10.1145/1865909.1865947 dblp:conf/permis/Schlenoff09 fatcat:a746aft3enclrapgao4ml2jpxu

First Experimentation of the ErgoPNets Method Using Dynamic Modeling to Communicate Usability Evaluation Results [chapter]

Stéphanie Bernonville, Christophe Kolski, Nicolas Leroy, Marie-Catherine Beuscart-Zéphir
2010 Lecture Notes in Computer Science  
A first experimentation has been performed with designers/developers and academic researchers.  ...  However, the formalisms used to describe ergonomic problems and recommendations are often based on natural language.  ...  They would also like to thank the Nord/Pasde-Calais Regional Council, the CHRU of Lille, the FEDER, the RNTS network, and the French Ministry of Educ., Research and Technologies for supporting this research  ... 
doi:10.1007/978-3-642-11750-3_7 fatcat:yqxtou3zjrfndn2cxsgqzr5fmu

Formal specification

Axel van Lamsweerde
2000 Proceedings of the conference on The future of Software engineering - ICSE '00  
After recalling the essence, role, usage, and pitfalls of formal specification, the paper reviews the main specification paradigms to date and discuss their evaluation criteria.  ...  It then provides a brief assessment of the current strengths and weaknesses of today's formal specification technology.  ...  Many thanks to Michel Sintzoff for fruitful input and discussions on some issues raised in this paper.  ... 
doi:10.1145/336512.336546 dblp:conf/icse/Lamsweerde00a fatcat:pbjflkp2sje7dnklqn3przzrue

Computer-Interpretable Guideline formalisms

Paul De Clercq, Katharina Kaiser, Arie Hasman
2008 Studies in Health Technology and Informatics  
The model and underlying language are the core characteristics of every CIG approach. However, currently no standard model or language has been accepted by the CIG community.  ...  Implementing Computer-Interpretable Guidelines (CIGs) in active computer-based decision support systems promises to improve the acceptance and application of guidelines in daily practice.  ...  Of these slots, the most important ones are data, evoke, logic and action.  ... 
pmid:18806319 pmcid:PMC2858861 fatcat:mrlonzjiefbtxm5nxmzcbfgh3u

Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network [chapter]

J. H. Andrews, N. A. Day, J. J. Joyce
1997 Formal Description Techniques and Protocol Specification, Testing and Verification  
The success of this approach suggests that typed predicate logic is useful as a syntactic and semantic foundation for specialized Formal Description Techniques (FDTs).  ...  A version of Harel's statecharts formalism embedded within a machine readable typed predicate logic has been used as a formal description technique to construct this mathematical model.  ...  , Kendra Cooper, Michael Donat, Ken Wong; and from UVic, Dilian Gurov and Bruce Kapron.  ... 
doi:10.1007/978-0-387-35271-8_26 fatcat:ycyckzfpoff47he6ousgrkytwm

Adequate formalization

Michael Baumgartner, Timm Lampert
2007 Synthese  
We then take on to solve these problems by defining a necessary and sufficient criterion of adequate formalization.  ...  This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language.  ...  To mention only a few well known formalization efforts that exemplify this practice: The formalization of Aristotelian syllogisms, Russell's analysis of definite descriptions or Davidson's account of action  ... 
doi:10.1007/s11229-007-9218-1 fatcat:e2lzgr4ssjh33ali36wcgxflke

Consistent Integration of Formal Methods [chapter]

Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch
2000 Lecture Notes in Computer Science  
We discuss several possible levels of integration: technical integration of tools considering APIs and tool interfaces, conceptual integration of metamodels of description formalisms combined with hard  ...  and soft constraints, semantical integration of semantics of description techniques using a common semantic model, and finally methodical integration by an embedding in the development process.  ...  Conclusion and Future Work Integration of formal techniques is more than just integrating formal (and semiformal) tools; nevertheless, tool integration is one important step.  ... 
doi:10.1007/3-540-46419-0_5 fatcat:yuwzuojf6zc5hil5li3k7n3aqy

A formal description of evolving software systems architectures

C.J.P. Lucena, P.S.C. Alencar
1995 Science of Computer Programming  
The basis for the logical formalism is a formal description of the transitions that might occur in the software change process, the purpose of the formalism being to allow deductions to be made about the  ...  We argue the generality of the logical formalism by illustrating its applicability to the expression of change processes in general software descriptions.  ...  Acknowledgements The authors want to thank the referees for their very precise and constructive recommendations and our colleague Prof. D.D. Cowan for his many comments on the paper.  ... 
doi:10.1016/0167-6423(94)00023-8 fatcat:rrf3yevngzfzrh65jbxtaswefm

A logic-based Formalization for Component Specification

Juliana Küster Filipe
2002 Journal of Object Technology  
In the logic MDTL, each component has associated to it a local logic consisting of a home logic and a communication logic. Component contracts are captured by formulae in MDTL.  ...  We describe how component concepts at a specification level (interfaces, components, architectures) can be formalized in a uniform way using a distributed logical framework.  ...  The logical framework is described in Section 4, and used to formalize component concepts in Section 5.  ... 
doi:10.5381/jot.2002.1.3.a13 fatcat:kwq6tr7pyfeqdagngraivcio24

Formalizing narratives using nested circumscription

Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
1998 Artificial Intelligence  
The early action formalisms did one or the other.  ...  Finally, we compare our formalization with other approaches, and discuss how our use of NATs makes it easier to incorporate other features of action theories, such as constraints, to our formalization.  ...  The first two authors were supported by the NSF grants IRI-9211662 and IRI-9501577.  ... 
doi:10.1016/s0004-3702(98)00070-8 fatcat:fzud5lgwpnfhvegiye6vlyxpdm
« Previous Showing results 1 — 15 out of 261,418 results