Reasoning with uncertainty using Nilsson's probabilistic logic and the maximum entropy formalism

Reasoning with uncertainty using Nilsson's probabilistic logic and the maximum entropy formalism

Bibliographic Details
Main Author:	Kane, Thomas Brett
Published:	Heriot-Watt University 1992
Subjects:	005 Expert systems engineering
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.305224

Similar Items

Default reasoning using maximum entropy and variable strength defaults
by: Bourne, Rachel Anne
Published: (1999)

Machine learning using fuzzy logic with applications to medicine
by: Norris, D. E.
Published: (1986)

A logic language as a database utility
by: Lucas, R. J.
Published: (1986)

An investigation into the possibility of using sociological research methodologies for the elicitation of tacit knowledge for building knowledge intensive systems
by: Henshall, Anthony Wilton
Published: (1995)

Automating knowledge acquisition for dynamic decision making in C'3I systems
by: Fan, Tony Chich-Chiang
Published: (1993)

A framework for machine intelligence based on the pragmatic approach
by: Zakaria, Mohamad Shanudin
Published: (1994)

Painless knowledge acquisition for time series data
by: Mitchell, F.
Published: (1997)

The evolution of computer-based information systems in specialist activities in the professions
by: Lane, Victor P.
Published: (1996)

Concurrent object-oriented execution of OPS5 production systems
by: Odeh, Mohammed Hosni
Published: (1993)

A parallel real-time knowledge-based system and its application to diesel engine diagnostics
by: Stallard, P. W. A.
Published: (1993)

Probabilistic graphical modelling for software product lines : a frameweork for modeling and reasoning under uncertainty
by: Almharat, Anas
Published: (2016)

Data structures for inference systems using linguistic rules
by: Smellie, David John
Published: (1990)

An investigation into the use of a findings base as a component of an expert system
by: Murdoch, S. T.
Published: (1986)

The application of Artificial Neural Networks to short term electrical load forecasting and other engineering problems
by: Asar, A. U.
Published: (1994)

An expert systems approach to computer-aided design of multivariable control systems
by: Pang, G. K-H.
Published: (1986)

On the design of computer software to support clinical follow-up studies
by: Elliman, Anthony David
Published: (1988)

The development of fuzzy knowledge base for machine monitoring
by: Pickard, Nigel Brougham
Published: (1989)

Probabilistic uncertainty in an interoperable framework
by: Williams, Matthew William
Published: (2011)

A Reasoning Mechanism in the Probabilistic Data Model Based on the Maximum Entropy Formalism
by: Selvaraj, Bellarmin N.
Published: (1999)

Nonmonotonic Reasoning with Description Logics
by: Ke, Peihong
Published: (2011)

Resource Reasoning and Labelled Separation Logic
by: Raza, Mohammad
Published: (2010)

Logic, programming and formal specification
by: Goldsmith, M. H.
Published: (1985)

COMX : a methodology for the formal design of computer systems using communicating X-machines
by: Barnard, Judith
Published: (1996)

Enhanced database system for active design modelling
by: Baig, Anwar
Published: (1999)

Preferential description logics : reasoning in the presence of inconsistencies
by: Deane, Graham
Published: (2016)

An expert system for career management within an army structure
by: Lee, Hee Young
Published: (1991)

The formal description of programming languages using predicate logic
by: Moss, C. D. S.
Published: (1981)

POLIS : a probabilistic summarisation logic for structured documents
by: Forst, Jan Frederik
Published: (2009)

Maximum Entropy Applied to Inductive Logic and Reasoning
by: Jürgen Landes, et al.
Published: (2015-05-01)

Resolution-based methods for linear-time temporal logics : with applications to formal verification
by: Ludwig, Michel
Published: (2010)

Learning with delayed reinforcement in an exploratory probabilistic logic neural network
by: Myers, Catherine E.
Published: (1990)

Reasoning about the function and timing of integrated circuits with Prolog and temporal logic
by: Leeser, Miriam Ellen
Published: (1987)

A methodology for formal system development using process algebraic techniques
by: Scott, B. G. O.
Published: (1994)

A pragmatic approach to the formal development of safety-critical systems
by: Coombes, Andrew Charles
Published: (1994)

A formal data fusion language
by: Newton, Alan R.
Published: (1995)

Classification of the severity of diabetic neuropathy: a new approach taking uncertainties into account using fuzzy logic
by: Andreja P. Picon, et al.
Published: (2012-01-01)

Temporal reasoning in deductive databases
by: Sripada, Suryanarayana Murthy
Published: (1991)

Fuzzy Logic-Based Formalisms for Gynecology Disease Diagnosis
by: Sardesai Anjali, et al.
Published: (2016-04-01)

Logic and databases : an object oriented approach
by: Higgins, Christopher Paul
Published: (1992)

Unbounded rule-based expert system for selecting software development methodologies
by: Macheque, Vhutshilo
Published: (2019)