24,415 Hits in 6.3 sec

Many-valued epistemic states. An application to a reflective architecture: Milord-II [chapter]

Lluís Godo, Wiebe van der Hoek, John -Jules Ch. Meyer, Carles Sierra
1995 Lecture Notes in Computer Science  
As an application example we study the logical foundation of a core fragment of the MILORD II architecture [Sierra & Godo, 92,93], focusing in particular on giving a modal interpretation of MILORD II meta-predicates  ...  Halpern and Moses [Halpern & Moses, 84] define and characterize what a minimal epistemic state associated to a set of premises is, using the notions of stable set and S5-Kripke models.  ...  MODAL INTERPRETATION OF K AND WK META-PREDICATES The MILORD-II reasoning process inside a module can be modelled as a sequence of object and meta level theories (in a wide sense) .... → MLT i-1 MLT i →  ... 
doi:10.1007/bfb0035977 fatcat:p7smprl6wvaatpmwxe7lca6v5e

Towards a formal foundation for domain specific modeling languages

Ethan K. Jackson, Janos Sztipanovits
2006 Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06  
In this paper we present a formal foundation for DSMLs and for their construction within metamodeling frameworks.  ...  However, in the effort to produce a mature design approach that can handle both the structural and behavioral semantics of embedded system design, many foundational issues concerning DSMLs have been overlooked  ...  Semantics and Interpretations We use Horn logic to define transformational interpretations by writing transformations as a set of Horn sentences.  ... 
doi:10.1145/1176887.1176896 dblp:conf/emsoft/JacksonS06 fatcat:fel5udc6jjeojlgljifbbmdnqi

Agent-Oriented Language Engineering for Robust NLP [chapter]

Vincenzo Pallotta, Afzal Ballim
2001 Lecture Notes in Computer Science  
The main goal of our work is to propose an agent-oriented framework for developing robust NLP applications. This framework provides means to compose analysis modules in a co-operative style.  ...  At this level, co-ordination is computational logic-based in order to exploit known inference mechanisms for the decision support.  ...  of the Agent Logic meta-theory.  ... 
doi:10.1007/3-540-45584-1_7 fatcat:57xgfqa2r5eg7kqs5qm6o6ggwy

Page 1251 of Linguistics and Language Behavior Abstracts: LLBA Vol. 23, Issue 3 [page]

1989 Linguistics and Language Behavior Abstracts: LLBA  
Toury’s In Search of a Theory of Translation; Turkish raising to subject constructions, N.  ...  ; 8905564 linguistic meaning, intensional interpretation; natural language logical analysis problems/solutions; sentence meaning characterization framework developed; 8905607 literary translation, linguistic  ... 

On Embedded Languages, Meta-Level Reasoning, and Computer-Aided Modeling [chapter]

Hemant K. Bhargava, Steven O. Kimbrough
1995 Operations Research/Computer Science Interfaces Series  
In effect, they become constituents of statements in a meta-level knowledge base, which statements are then interpreted by a meta-level interpreter.  ...  Both the statements in the object-level knowledge base (the sentence logic axioms) and the statements in the object-level interpreter (the "nonlogical" axioms) are embedded in the L ↑ language.  ... 
doi:10.1007/978-1-4615-2223-2_2 fatcat:2iqslucvs5hujeqchz7a4em2ea

Discourse Preferences in Dynamic Logic [article]

Jan Jaspars
1997 arXiv   pre-print
We will show how this setting can be used for a dynamic logical analysis of preferential resolutions of ambiguous pronouns in discourse.  ...  In order to enrich dynamic semantic theories with a 'pragmatic' capacity, we combine dynamic and nonmonotonic (preferential) logics in a modal logic setting.  ...  This setting most often consists of a (part of) well-known logic interpreted over a class of well-known models.  ... 
arXiv:cmp-lg/9707004v1 fatcat:wwdgmrzpr5a3dgxhg25y7eswle

In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming [article]

François Bry
2019 arXiv   pre-print
Reflective Predicate Logic, a conservative extension of first-order logic, which provides a simple formalisation of meta-programming.  ...  Processing programs as data is one of the successes of functional and logic programming.  ...  It is representative of reflection in meta-programming, that is, the expression and the processing of formulas in meta-programs.  ... 
arXiv:1807.06051v3 fatcat:7b3yzhf5u5awngbvqndvarfbhm

Meta-reasoning: A Survey [chapter]

Stefania Costantini
2002 Lecture Notes in Computer Science  
In meta-level approaches, knowledge about knowledge is represented by admitting sentences to be arguments of other sentences, without abandoning the framework of first-order logic.  ...  It aims at formalizing knowledge by a logic language augmented by a modal operator, interpreted as knowledge or belief.  ...  In logic, a language that takes sentences of another language as its objects of discourse is called a meta-language. The other language is called the object language.  ... 
doi:10.1007/3-540-45632-5_11 fatcat:dahl7nw67vanzjeys2cgofurau


Lars Ackermann, Bernhard Volz
2013 Proceedings of the 2013 ACM workshop on Domain-specific modeling - DSM '13  
In this paper, we describe a novel approach of extracting models from natural language text sources.  ...  This is done through a highly system-supported mapping step where users are able to choose elements from arbitrary meta models and to connect their properties with functions over natural language sentence  ...  Rule definitions like in Resulting Training Process. If the system encounters a sentence it is not able to interpret, this is handled as a so called seed sentence and the training process starts.  ... 
doi:10.1145/2541928.2541937 dblp:conf/oopsla/AckermannV13 fatcat:pmutvjmo3jcvtpbg2sgcgtraaa

Legal decision making as dialectical theory construction with argumentation schemes

Bart Verheij
2001 Proceedings of the 8th international conference on Artificial intelligence and law - ICAIL '01  
This is in contrast with the interpretation of theories in standard logic, where all sentences in an interpreted theory are assigned the same positive value, namely true, e.g., by giving a model of the  ...  The modeling of argumentation schemes results in a blurred border between the logical object and meta-level, which provides philosophical insight into the relation between concrete, specialpurpose legal  ... 
doi:10.1145/383535.383565 dblp:conf/icail/Verheij01 fatcat:uwl27av2mfesflfbkkq34lnpvu

Modular norm models: practical representation and analysis of contractual rights and obligations

Sayonnha Mandal, Robin Gandhi, Harvey Siy
2019 Requirements Engineering  
We outline a practical modeling process for norms in legally binding agreements that include contractual rights and obligations.  ...  A computational norm model analyzes available rights and required duties based on the satisfiability of situations, a state of affairs, in a given scenario.  ...  This conjunction represents a AND situation, a sub-type of logical situations in the norm meta-model ( Fig. 1) .  ... 
doi:10.1007/s00766-019-00323-y fatcat:z2mmtglhazezpbksce2skbanoe

A fuzzy legal reasoner for university decision support

Dharmendra Sharma, Saten Behari
2003 South Pacific Journal of Natural and Applied Sciences  
This paper discusses the various characteristics of the problem and presents a design and an implementation of a prototype that is modeled as a fuzzy expert system.  ...  Some future work is also suggested to further strengthen the prototype to include a formal case specification and interaction language, and the possible drawing and use of relevant information from a knowledge  ...  This paper reports on a fuzzy expert system shell (called UniLR) designed to help model the process of decision making for case rulings.  ... 
doi:10.1071/sp03014 fatcat:isa6mjkflzcrdlwmmvo3d6li2m

Introduction: Metaphysical and Postmetaphysical Relationships of Humans with Nature and Life [chapter]

Günther Witzany
2009 Biocommunication and Natural Genome Editing  
The change from a natural being into a society-based being is an irreversible process.  ...  by reflecting on the preconditions for foundation and justification of sentences about objects of investigation, i.e. a coherent definition of language in general, which was not the aim of classical metaphysics  ...  A next level is the interpretation processes of abiotic influences by the organisms.  ... 
doi:10.1007/978-90-481-3319-2_1 fatcat:tpewiyuztfbnzjaxvaikm4rwoy

Page 1498 of Linguistics and Language Behavior Abstracts: LLBA Vol. 24, Issue 4 [page]

1990 Linguistics and Language Behavior Abstracts: LLBA  
A model outlined by G. Semin & K.  ...  The motivated as- sumptions in this set are shown to be compatible with a unitary semantic hypothesis, as is the empirical evidence that has been cited in support of multiple semantics.  ... 

Distributed multi-layered workload synthesis for testing stream processing systems

Eric Bouillet, Parijat Dube, David George, Zhen Liu, Dimitrios Pendarakis, Li Zhang
2008 2008 Winter Simulation Conference  
Testing and benchmarking of stream processing systems requires workload representative of real world scenarios with myriad of users, interacting through different applications over different modalities  ...  We present a scalable framework for synthesis of distributed workload based on identifying different layers of workload corresponding to different time-scales.  ...  A content model can contain multiple decision trees, each of which is given a unique name.  ... 
doi:10.1109/wsc.2008.4736167 dblp:conf/wsc/BouilletDGLPZ08 fatcat:6d4tv3d4cjembgqgwikck225ty
« Previous Showing results 1 — 15 out of 24,415 results